Pi+-Calculus: A Calculus for Concurrent Processes with Constraints

A Calculus for Concurrent Processes with Constraints

The -calculus is a formal model of concurrent computation based on the notion of naming. It has an important role to play in the search for more abstract theories of concurrent and communicating systems. In this paper we augment the -calculus with a constraint store and add the notion of constraint agent to the standard -calculus concept of agent. We call this extension the -calculus. We also e...

A Stochastic Pi Calculus for Concurrent Objects

Reaction Constraints for the Pi-Calculus

For cell-biological processes, it is the complex interaction of their biochemical components, affected by both stochastic and spatial considerations, that create the overall picture. Formal modeling provides a method to overcome the limits of experimental observation in the wetlab by moving to the abstract world of the computer. The limits of the abstract world again depend on the expressivenes...

Concurrent and Located Synchronizations in pi-Calculus

We present two novel semantics for π-calculus. The first allows one to observe on which channel a synchronization is performed, while the second allows concurrent actions, provided that they do not compete for resources. We present both a reduction and a labeled semantics, and show that they induce the same behavioral equivalence. As our main result we show that bisimilarity is a congruence for...

Synchronizing Concurrent Objects in the Pi-Calculus

r esum e. Le d eveloppement des langages orient es objets concurrents a souuert de l'ab-sence d'un support formel f ed erateur d edi e a la d eenition de leur s emantique. C'est une des raisons pour lesquelles nous essayons de trouver une fondation s emantique minimale pour d eenir les abstractions des langages orient es objets. Nous avons montr e pr ec edemment l'int er^ et du-calcul a cet ega...